منابع مشابه
Capturing Hiproofs in HOL Light
Hierarchical proof trees (hiproofs for short) add structure to ordinary proof trees, by allowing portions of trees to be hierarchically nested. The additional structure can be used to abstract away from details, or to label particular portions to explain their purpose. In this paper we present two complementary methods for capturing hiproofs in HOL Light, along with a tool to produce web-based ...
متن کاملCapturing TCP Burstiness in Light-weight Simulations
Burstiness in data traffic is emerging as a critical property that protocol analysis can no longer ignore. To preserve the kind of burstiness or scaling phenomena observed in aggregated TCP traffic, we develop a behavioral model that captures TCP’s windowbased and closed-loop control. Through a novel modeling technique – exhaustive state exploration, we systematically examine each TCP states ov...
متن کاملArtistic Light and Capturing the Immeasurable
ABOUT THE COVER " A fter school, I would often go down on Chestnut Street to see the pictures in Earle's Galleries, " Henry Ossawa Tanner recalled about his early years (1). He was especially drawn to the marine subjects of T. Alexan-der Harrison (1853–1930). " After drinking my fi ll of these art wonders, I would hurry home and paint what I had seen, and what fun it was " (1). When at age 12 o...
متن کاملCapturing and Rendering with Incident Light Fields
This paper presents a process for capturing spatially and directionally varying illumination from a real-world scene and using this lighting to illuminate computer-generated objects. We use two devices for capturing such illumination. In the first we photograph an array of mirrored spheres in high dynamic range to capture the spatially varying illumination. In the second, we obtain higher resol...
متن کاملFemto-photography: capturing and visualizing the propagation of light Citation
We present femto-photography, a novel imaging technique to capture and visualize the propagation of light. With an effective exposure time of 1.85 picoseconds (ps) per frame, we reconstruct movies of ultrafast events at an equivalent resolution of about one half trillion frames per second. Because cameras with this shutter speed do not exist, we re-purpose modern imaging hardware to record an e...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Materials Today
سال: 2011
ISSN: 1369-7021
DOI: 10.1016/s1369-7021(11)70009-8